|
Search the dblp DataBase
Adriaan de Groot:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Adriaan de Groot, Jozef Hooman, Fabrice Kordon, Emmanuel Paviot-Adet, Isabelle Vernier-Mounier, Michel Lemoine, Gervais Gaudiere, Victor L. Winter, Deepak Kapur
A Survey: Applying Formal Methods to a Software Intensive System. [Citation Graph (0, 0)][DBLP] HASE, 2001, pp:55-64 [Conf]
- Adriaan de Groot, Sebastian Kügler, Paul J. Adams, Giorgos Gousios
Call for Quality: Open Source Software Quality Observation. [Citation Graph (0, 0)][DBLP] OSS, 2006, pp:57-62 [Conf]
- Frits W. Vaandrager, Adriaan de Groot
Analysis of a biphase mark protocol with Uppaaland PVS. [Citation Graph (0, 0)][DBLP] Formal Asp. Comput., 2006, v:18, n:4, pp:433-458 [Journal]
- Adriaan de Groot, Jozef Hooman
Analyzing the Light Control System with PVS. [Citation Graph (0, 0)][DBLP] J. UCS, 2000, v:6, n:7, pp:621-649 [Journal]
Detecting Agility of Open Source Projects Through Developer Engagement. [Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.003secs
|