Jan Mikác

According to our database, Jan Mikác authored at least 5 papers between 2005 and 2009.

Collaborative distances:

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

2009

Flush: an example of development by refinements in SCADE/Lustre.

Jan Mikác, Paul Caspi

Int. J. Softw. Tools Technol. Transf., 2009

2008

An export architecture for a multimedia authoring environment.

Jan Mikác, Cécile Roisin, Bao Le Duc

Proceedings of the 2008 ACM Symposium on Document Engineering, 2008

2007

Multimedia Authoring for Communities of Teachers.

Agnès Guerraz, Cécile Roisin, Jan Mikác, Romain Deltour

Int. J. Web Based Learn. Teach. Technol., 2007

2005

Raffinement et preuves de systèmes Lustre. (Refinements and Proofs of Lustre Systems).

Jan Mikác

PhD thesis, 2005

Flush: a system development tool based on scade/lustre.

Jan Mikác, Paul Caspi

Proceedings of the 10th international workshop on Formal methods for industrial critical systems, 2005