H ?
«
‹
←
→
›
»
Language peer sets for V-Promela: United States↑ United States/1999↑ Designed 1999 ↑ 1990s languages ↑ Internet↑ New internationlism↑ V-Promela(ID:3942/vpr002)alternate simple viewCountry: United States Designed 1999 Holtzmann and Leue, 1999 a visual, object-oriented extension of Promela for the hierarchical modeling of structure and behaviour of concurrent reactive systems Structures: Related languages
References: in Proceedings of the Second IEEE International Sympo (1999) Proceedings of the Second IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 3rd.-5th. May 1999, Saint Malo, France, IEEE Computer Society Press, 1999 in Proceedings of the Second IEEE International Sympo (1999) Proceedings of the Second IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 3rd.-5th. May 1999, Saint Malo, France, IEEE Computer Society Press, 1999 in Proceedings of the Second IEEE International Sympo (1999) Proceedings of the Second IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 3rd.-5th. May 1999, Saint Malo, France, IEEE Computer Society Press, 1999 Resources Search in: Google Google scholar World Cat Yahoo Overture DBLP Monash bib NZ IEEE  ACM portal CiteSeer CSB ncstrl jstor Bookfinder |