Stepwise construction of non-sequential software systems using a net-based specification language

Authors:
B. Krämer
Affiliations:
-
Venue:
Advances in Petri Nets 1984
Year:
1985

Citing 0
Cited 3

SEGRAS—a formal and semigraphical language combining Petri nets and abstract data types for the specification of distributed systems

ICSE '87 Proceedings of the 9th international conference on Software Engineering
Software CAD: A Revolutionary Approach

IEEE Transactions on Software Engineering
Compositional Semantics of a Real-Time Prototyping Language

IEEE Transactions on Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract