Prem Shankar Goel

According to our database1, Prem Shankar Goel authored at least 5 papers between 1985 and 1994.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1994
A Real Time Fault Tolerant Microprocessor Based On-Board Computer System for INSAT-2 Spacecraft.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994

1992
S-Nets: A Petri Net Based Model for Performance Evaluation of Real-Time Scheduling Algorithms.
J. Parallel Distributed Comput., 1992

1989
Workload redistribution for fault-tolerance in a hard real-time distributed computing system.
Proceedings of the Nineteenth International Symposium on Fault-Tolerant Computing, 1989

1987
Reflexive Incidence Matrix (RIM) Representation of Petri Nets.
IEEE Trans. Software Eng., 1987

1985
Towards formal specification of a distributed computing system.
Int. J. Parallel Program., 1985


  Loading...