Author

Profile picture
Miroslav Sveda
2 articles by this author
Sort by:
Formal Specification of Computer-Based ...
Editorial
Formal Specification of Computer-Based Systems
Miroslav Sveda, Charles Rattray, Jerzy Rozenblit
10.3217/jucs-010-10
 28-10-2004
 Unique: 699 | Total: 888
 1354-1356
HTML
XML
PDF
Automatically Generated CSP Specifications
Research Article
Automatically Generated CSP Specifications
Frantisek Scuglik, Miroslav Sveda
10.3217/jucs-009-11-1277
 28-11-2003
 Unique: 773 | Total: 942
 1277-1295
HTML
XML
PDF

This website uses cookies in order to improve your web experience. Read our Cookies Policy

OK