Guarded transitions in evolving specifications

Guarded transitions in evolving specifications

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Pavlovic, D, Smith, D
Formáid:	Conference item
Foilsithe / Cruthaithe:	Springer Verlag 2002

Míreanna comhchosúla

Evolving specification engineering
de réir: Pavlovic, D, et al.
Foilsithe / Cruthaithe: (2008)

Towards semantics of guarded induction
de réir: ́Pavlovic, D
Foilsithe / Cruthaithe: (1998)

Guarded induction on final coalgebras
de réir: ́Pavlovic, D
Foilsithe / Cruthaithe: (1998)

Resolution Decision Procedures for the Guarded Fragment with Transitive Guards
de réir: Kazakov, Y, et al.
Foilsithe / Cruthaithe: (2015)

A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards.
de réir: Kazakov, Y
Foilsithe / Cruthaithe: (2004)

A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards.
de réir: Kazakov, Y, et al.
Foilsithe / Cruthaithe: (2004)

Querying the Guarded Fragment with Transitivity.
de réir: Gottlob, G, et al.
Foilsithe / Cruthaithe: (2013)

Transit Guard: A Smart Fare Solution
de réir: Shaik Reshma Feroze, et al.
Foilsithe / Cruthaithe: (2024-07-01)

IMF Changing of the Guard : Sorry Tale of Leadership Transition
de réir: Lai, Jikon
Foilsithe / Cruthaithe: (2019)

The Coast Guard in transition : organization change in response to September 11
de réir: Buschman, Scott A. (Scott Andrew), 1962-
Foilsithe / Cruthaithe: (2005)

Social support key to cash in transit guards’ psychological wellbeing
de réir: Paul Poisat, et al.
Foilsithe / Cruthaithe: (2014-12-01)

Guarding the guards: education, corruption, and Nepal’s commission for the investigation of abuse of authority (CIAA)
de réir: Gellner, D, et al.
Foilsithe / Cruthaithe: (2020)

Virtual guard
de réir: Mohamad Faiz, Mohd Ali
Foilsithe / Cruthaithe: (2010)

Guard of honor /
de réir: 328655 Cozzens, James Gould
Foilsithe / Cruthaithe: (1948)

Changing of the guard
de réir: J Kendrick
Foilsithe / Cruthaithe: (1975-03-01)

“The changing of the guard”
de réir: J Kendrick
Foilsithe / Cruthaithe: (1972-02-01)

Change of guard
de réir: B M Shashikumar
Foilsithe / Cruthaithe: (2024-01-01)

Changing of the guard
de réir: Mark W. Schwartz
Foilsithe / Cruthaithe: (2022-11-01)

Change of guard
de réir: K A Seetharam
Foilsithe / Cruthaithe: (2022-01-01)

Change of the Guards
de réir: Carina Berterö
Foilsithe / Cruthaithe: (2015-03-01)

Changing of the guard
de réir: Ashfaq A. Marghoob, et al.
Foilsithe / Cruthaithe: (2016-01-01)

THE ROMANIAN NATIONAL GUARD - 2021
de réir: Colonel (ret.) Professor Dorel BAHRIN PhD
Foilsithe / Cruthaithe: (2020-12-01)

Guarded hybrid knowledge bases
de réir: Heymans, S, et al.
Foilsithe / Cruthaithe: (2008)

The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types
de réir: Ranald Clouston, et al.
Foilsithe / Cruthaithe: (2017-04-01)

Guard Your Daggers and Traces: On The Equational Properties of Guarded (Co-)recursion
de réir: Stefan Milius, et al.
Foilsithe / Cruthaithe: (2013-08-01)

Editorial: Mechanisms guarding the genome
de réir: James A. L. Brown, et al.
Foilsithe / Cruthaithe: (2022-08-01)

The SUMO guards for SNAIL
de réir: Ye, Xin, et al.
Foilsithe / Cruthaithe: (2018)

Querying the Guarded Fragment
de réir: Barany, V, et al.
Foilsithe / Cruthaithe: (2010)

Android theft guard
de réir: Chew, Wee Han
Foilsithe / Cruthaithe: (2015)

On the Guard of the Truth of History
de réir: S. N. Kovalev
Foilsithe / Cruthaithe: (2021-10-01)

Querying the Guarded Fragment
de réir: Vince Bárány, et al.
Foilsithe / Cruthaithe: (2014-05-01)

Coloring and Guarding Arrangements
de réir: Prosenjit Bose, et al.
Foilsithe / Cruthaithe: (2013-12-01)

Change of guard at ACTN
de réir: Ahmet Hoke
Foilsithe / Cruthaithe: (2023-01-01)

Reumatismo: change of the guard
de réir: AA.VV AA.VV
Foilsithe / Cruthaithe: (2011-06-01)

Editorial: Change of guard
de réir: Krishna Subramony Iyer
Foilsithe / Cruthaithe: (2020-01-01)

Koedoe: Changing of the guard
de réir: Llewellyn C. Foxcroft
Foilsithe / Cruthaithe: (2020-10-01)

Changing the editorial guard
de réir: J P de V van Niekerk
Foilsithe / Cruthaithe: (2006-06-01)

Body-Guard Design
de réir: Uta Brandes
Foilsithe / Cruthaithe: (2019-07-01)

GuardExpert PRO : application-centric IoT solution for Guard Touring System /
de réir: Amirul Hazeim Faizul, 1993- , author
Foilsithe / Cruthaithe: (2017)

GuardExpert PRO : application-centric IoT solution for Guard Touring System /
de réir: Amirul Hazeim Faizul, 1993- , author, et al.
Foilsithe / Cruthaithe: (2017)