Jump to main content

yr 〜
yr

Search results 3

Verification of infinite-state systems with applications to security. : NATO advanced research workshop "verification of infinite state systems with applications to security VISSAS 2005" : Mar 2005, Timisoara, Romania. (NATO Security through Science Series. Series D, Information and Communication Security ; 1)

Verification of infinite-state systems with applications to security. : NATO advanced research workshop "verification of infinite state systems with applications to security VISSAS 2005" : Mar 2005, Timisoara, Romania. (NATO Security through Science Series. Series D, Information and Communication Security ; 1)
Paper図書
IOS Pressc2006.<M17-09-557>
National Diet Library
  • Subject Heading...-- Congresses. Infinite-state systems. Security. VISSAS.
  • Author Heading...erification of Infinite-state Systems with Applications to Security...

Automata in mathematics and selected applications

Automata in mathematics and selected applications
Paper図書
edited by Jean-Éric PinEMS Pressc2021
Other Libraries in Japan
  • Subject Heading...uage equations infinite-state systems distributed synthesis synchro...
  • Subject Heading (ID)...uage equations infinite-state systems distributed synthesis synchro...

Theoretical foundations

Theoretical foundations
Paper図書
edited by Jean-Éric PinEMS Pressc2021
Other Libraries in Japan
  • Subject Heading...uage equations infinite-state systems distributed synthesis synchro...
  • Subject Heading (ID)...uage equations infinite-state systems distributed synthesis synchro...

Reached to the end of result.

RSS