Marcin Engel

According to our database, Marcin Engel authored at least 3 papers between 1992 and 2000.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2000

Towards Automated Consistency Checking of Module Interface Specifications.

Marcin Engel, Artur Kret, Janina Mincer-Daszkiewicz

Fundam. Informaticae, 2000

1994

Specifying Real-Time Systems with Z and the Duration Calculus.

Marcin Engel

Proceedings of the Z User Workshop, Cambridge, UK, 29-30 June 1994, Proceedings, 1994

1992

A Formal Approach to Computer Systems Requirements Documentation.

Marcin Engel, Marcin Kubica, Jan Madey, David Lorge Parnas, Anders P. Ravn, A. John van Schouwen

Proceedings of the Hybrid Systems, 1992