%0 Conference Proceedings
%T Partial Order Application for Software Formal Verification
%+ Développement des Technologies Nouvelles (DTN)
%A Dumas, Xavier
%A Boniol, Frédéric
%A Dhaussy, Philippe
%A Bonnafous, Eric
%< avec comité de lecture
%( Conférence Embedded Real Time Software and Systems (ERTS'10)
%B Conférence Embedded Real Time Software and Systems (ERTS'10)
%C Toulouse, France
%P Non renseigne
%8 2010-05-19
%D 2010
%Z Computer Science [cs]/Artificial Intelligence [cs.AI]Conference papers
%G English
%L hal-00517269
%U https://hal.science/hal-00517269
%~ ENSTA-BRETAGNE
%~ ENSTA-BRETAGNE-STIC
%~ ENSIETA-DTN
%~ ERTS2010