68N30 Mathematical aspects of software engineering

Label

• 68N30 Mathematical aspects of software engineering (literal)

Membro di

• Keywords of "A process algebraic fluid flow model of emergency egress" (Insieme di parole chiave)
• Keywords of "Model Checking Dependability Attributes of Wireless Group Communication. Full Version" (Insieme di parole chiave)
• Keywords of "Resilience of Interaction Techniques to Interrupts: A formal model-based approach" (Insieme di parole chiave)
• Keywords of "Analysing robot swarm decision-making with Bio-PEPA" (Insieme di parole chiave)
• Parole chiave di "A fluid flow approach to usability analysis of multi-user systems - Full Version" (Insieme di parole chiave)
• Keywords of "A scalable fluid flow process algebraic approach to emergency egress analysis" (Insieme di parole chiave)
• Parole chiave di "Assisting the design of a groupware system - model checking usability aspects of thinkteam" (Insieme di parole chiave)
• Keywords of "Analysing robot swarm decision-making with Bio-PEPA" (Insieme di parole chiave)
• Parole chiave di "Modelling interactive experience, function and performance in ubiquitous systems" (Insieme di parole chiave)
• Keywords of "On the use of Bio-PEPA for modelling and analysing collective behaviours in swarm robotics" (Insieme di parole chiave)
• Parole chiave di "Modelling crowd dynamics in Bio-PEPA - Extended Abstract" (Insieme di parole chiave)

Value

• 68N30 Mathematical aspects of software engineering (literal)

Incoming links:

Ha membro

• Keywords of "On the use of Bio-PEPA for modelling and analysing collective behaviours in swarm robotics" (Insieme di parole chiave)
• Keywords of "A process algebraic fluid flow model of emergency egress" (Insieme di parole chiave)
• Keywords of "Resilience of Interaction Techniques to Interrupts: A formal model-based approach" (Insieme di parole chiave)
• Parole chiave di "A fluid flow approach to usability analysis of multi-user systems - Full Version" (Insieme di parole chiave)
• Parole chiave di "Assisting the design of a groupware system - model checking usability aspects of thinkteam" (Insieme di parole chiave)
• Keywords of "Model Checking Dependability Attributes of Wireless Group Communication. Full Version" (Insieme di parole chiave)
• Keywords of "Analysing robot swarm decision-making with Bio-PEPA" (Insieme di parole chiave)
• Parole chiave di "Modelling interactive experience, function and performance in ubiquitous systems" (Insieme di parole chiave)
• Parole chiave di "Modelling crowd dynamics in Bio-PEPA - Extended Abstract" (Insieme di parole chiave)
• Keywords of "Analysing robot swarm decision-making with Bio-PEPA" (Insieme di parole chiave)
• Keywords of "A scalable fluid flow process algebraic approach to emergency egress analysis" (Insieme di parole chiave)