Author

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

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

OK