|
Search the dblp DataBase
Marcin Engel:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Marcin Engel, Marcin Kubica, Jan Madey, David Lorge Parnas, Anders P. Ravn, A. John van Schouwen
A Formal Approach to Computer Systems Requirements Documentation. [Citation Graph (0, 0)][DBLP] Hybrid Systems, 1992, pp:452-474 [Conf]
- Marcin Engel
Specifying Real-Time Systems with Z and the Duration Calculus. [Citation Graph (0, 0)][DBLP] Z User Workshop, 1994, pp:282-294 [Conf]
- Marcin Engel, Artur Kret, Janina Mincer-Daszkiewicz
Towards Automated Consistency Checking of Module Interface Specifications. [Citation Graph (0, 0)][DBLP] Fundam. Inform., 2000, v:42, n:3-4, pp:251-278 [Journal]
Search in 0.001secs, Finished in 0.001secs
|