Events

IEEE TC-ECBS + TF RE and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems

Napier University, Edinburgh, Scotland 6.-7.4.2000

Selected publications

2000JANKOVSKÝ Michal and ŠVÉDA Miroslav. From TLA Specifications to Real-Time Unix Applications. In: Proceedings IEEE/IFIP Joint Workshop on Formal Specification of CBS. Napier University, Edinburgh: unknown, 2000, pp. 77-79. ISBN 1-85-769121-0.
 ŠVÉDA Miroslav and VRBA Radimír. Executable Specifications for Distributed Embedded Systems. In: Proceedings IEEE/IFIP Joint Workshop on Formal Specification of CBS. Napier University, Edinburgh: University of Stirling, 2000, pp. 81-85. ISBN 1-85-769121-0.
 ČEŠKA Milan and URBÁŠEK Milan. Reasoning about Categories of Petri Nets. In: Proceedings of the IEEE TC-ECBS + TF RE and IFIP WG10.1 Workshop - Joint Workshop on Formal Specifications of Computer-Based Systems. Edinburgh, Scotland: University of Stirling, 2000, pp. 67-70. ISBN 1-85-769121-0.

Your IPv4 address: 54.198.77.35
Switch to IPv6 connection

DNSSEC [dnssec]