Marcin Engel

Publication Activity (10 Years)

Years Active: 1992-2000
Publications (10 Years): 0

Publications

Marcin Engel, Artur Kret, Janina Mincer-Daszkiewicz
Towards Automated Consistency Checking of Module Interface Specifications. Fundam. Informaticae 42 (3-4) (2000)
Marcin Engel
Specifying Real-Time Systems with Z and the Duration Calculus. Z User Workshop (1994)
Marcin Engel, Marcin Kubica, Jan Madey, David Lorge Parnas, Anders P. Ravn, A. John van Schouwen
A Formal Approach to Computer Systems Requirements Documentation. Hybrid Systems (1992)