Author

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

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

OK