Learning elementary formal systems with queries

By Sakamoto H.   Hirata K.   Arimura H.  

Theoretical Computer Science, Vol. 298, Iss. 1, 2003-04 ,pp. : 21-50

Elsevier

Access to resources Recommend Favorite

Experiences applying formal approaches in the development of swarm-based space exploration systems

By Rouff Christopher   Hinchey Michael   Truszkowski Walter   Rash James  

International Journal on Software Tools for Technology Transfer, Vol. 8, Iss. 6, 2006-11 ,pp. : 587-603

Springer Publishing Company

Access to resources Recommend Favorite

TURTLE-P: a UML profile for the formal validation of critical and distributed systems

By Apvrille Ludovic   Saqui-Sannes Pierre   Khendek Ferhat  

Software and Systems Modeling (SoSyM), Vol. 5, Iss. 4, 2006-12 ,pp. : 449-466

Springer Publishing Company

Access to resources Recommend Favorite

An investigation of employees' use of e-learning systems: applying the technology acceptance model

By Lee Yi-Hsuan  

Behaviour and Information Technology, Vol. 32, Iss. 2, 2013-02 ,pp. : 173-189

Taylor & Francis Ltd

Access to resources Recommend Favorite

Formal and experimental validation approaches in HCI systems design based on a shared event B model

By Ait-Ameur Yamine   Baron Mickael  

International Journal on Software Tools for Technology Transfer, Vol. 8, Iss. 6, 2006-11 ,pp. : 547-563

Springer Publishing Company

Access to resources Recommend Favorite