ℹ️
🇬🇧
Search
Search for publications relevant for "BEHAVIOR"
BEHAVIOR
Publication
Class
Person
Publication
Programmes
publication
Behavior Java Checker
Publication without faculty affiliation
publication
Checking Software Components Behavior Using Behavior Protocols and Spin
2007 |
Faculty of Mathematics and Physics
publication
Behavior Protocols Extensions
+1
2006 |
Faculty of Mathematics and Physics
publication
Extensions to Behavior Protocols
2007 |
Faculty of Mathematics and Physics
publication
Behavior Protocols Checker
+3
Publication without faculty affiliation
publication
Distributed Behavior Protocol Checker
2006 |
Faculty of Mathematics and Physics
publication
Distributed Behavior Protocol Checker
+1
Publication without faculty affiliation
publication
Extending Behavior Protocols With Data and Multisynchronization
Publication without faculty affiliation
publication
Model Checking and Reduction of Behavior Protocols
2006 |
Faculty of Mathematics and Physics
publication
Behavior Protocols: Fighting the 'spearhead' Problem
2006 |
Faculty of Mathematics and Physics
publication
Software Component Verification: On Translating Behavior Protocols to Promela
Publication without faculty affiliation
publication
Joshua Fishman's "behavior-toward-language" and beyond
Publication without faculty affiliation
publication
Joshua Fishman's 'behavior-toward-language' and beyond
Publication without faculty affiliation
publication
Model Checking of Software Components: Making Java PathFinder Cooperate with Behavior Protocol Checker
Publication without faculty affiliation
publication
Behavior Assembly and Composition of Use Cases - UML 2.0 Perspective
2005 |
Faculty of Mathematics and Physics
publication
Relation of antisocial behavior of adolescents to school environment
2006 |
Second Faculty of Medicine
publication
Pilot testing of the Czech versions of the Coaching Behavior Assessment Questionnaire structure
2012 |
Faculty of Physical Education and Sport
publication
Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker
+2
2007 |
Faculty of Mathematics and Physics
publication
Marieke de Mooij: Consumer behavior and culture
2004 |
Faculty of Arts
publication
Cooperative behavior and economic growth
Publication without faculty affiliation
publication
Extraction of Component-Environment Interaction Model Using State Space Traversal
2010 |
Faculty of Mathematics and Physics
publication
Slicing of Component Behavior Specification with Respect to Their Composition
2007 |
Faculty of Mathematics and Physics
publication
Counterproductive work behavior
2006 |
Faculty of Arts