Guarded transitions in evolving specifications

Guarded transitions in evolving specifications

Opis bibliograficzny
Główni autorzy:	Pavlovic, D, Smith, D
Format:	Conference item
Wydane:	Springer Verlag 2002

Podobne zapisy

Evolving specification engineering
od: Pavlovic, D, i wsp.
Wydane: (2008)

Towards semantics of guarded induction
od: ́Pavlovic, D
Wydane: (1998)

Guarded induction on final coalgebras
od: ́Pavlovic, D
Wydane: (1998)

Resolution Decision Procedures for the Guarded Fragment with Transitive Guards
od: Kazakov, Y, i wsp.
Wydane: (2015)

A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards.
od: Kazakov, Y
Wydane: (2004)

A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards.
od: Kazakov, Y, i wsp.
Wydane: (2004)

Querying the Guarded Fragment with Transitivity.
od: Gottlob, G, i wsp.
Wydane: (2013)

Transit Guard: A Smart Fare Solution
od: Shaik Reshma Feroze, i wsp.
Wydane: (2024-07-01)

IMF Changing of the Guard : Sorry Tale of Leadership Transition
od: Lai, Jikon
Wydane: (2019)

The Coast Guard in transition : organization change in response to September 11
od: Buschman, Scott A. (Scott Andrew), 1962-
Wydane: (2005)

Social support key to cash in transit guards’ psychological wellbeing
od: Paul Poisat, i wsp.
Wydane: (2014-12-01)

Guarding the guards: education, corruption, and Nepal’s commission for the investigation of abuse of authority (CIAA)
od: Gellner, D, i wsp.
Wydane: (2020)

Virtual guard
od: Mohamad Faiz, Mohd Ali
Wydane: (2010)

Guard of honor /
od: 328655 Cozzens, James Gould
Wydane: (1948)

Changing of the guard
od: J Kendrick
Wydane: (1975-03-01)

“The changing of the guard”
od: J Kendrick
Wydane: (1972-02-01)

Change of guard
od: B M Shashikumar
Wydane: (2024-01-01)

Changing of the guard
od: Mark W. Schwartz
Wydane: (2022-11-01)

Change of guard
od: K A Seetharam
Wydane: (2022-01-01)

Change of the Guards
od: Carina Berterö
Wydane: (2015-03-01)

Changing of the guard
od: Ashfaq A. Marghoob, i wsp.
Wydane: (2016-01-01)

Change of guard
od: Satish V Khadilkar
Wydane: (2012-01-01)

Changing of the guards
od: Kue Young, i wsp.
Wydane: (2015-07-01)

THE ROMANIAN NATIONAL GUARD - 2021
od: Colonel (ret.) Professor Dorel BAHRIN PhD
Wydane: (2020-12-01)

Guarded hybrid knowledge bases
od: Heymans, S, i wsp.
Wydane: (2008)

The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types
od: Ranald Clouston, i wsp.
Wydane: (2017-04-01)

Guard Your Daggers and Traces: On The Equational Properties of Guarded (Co-)recursion
od: Stefan Milius, i wsp.
Wydane: (2013-08-01)

Editorial: Mechanisms guarding the genome
od: James A. L. Brown, i wsp.
Wydane: (2022-08-01)

The SUMO guards for SNAIL
od: Ye, Xin, i wsp.
Wydane: (2018)

Querying the Guarded Fragment
od: Barany, V, i wsp.
Wydane: (2010)

Android theft guard
od: Chew, Wee Han
Wydane: (2015)

On the Guard of the Truth of History
od: S. N. Kovalev
Wydane: (2021-10-01)

Querying the Guarded Fragment
od: Vince Bárány, i wsp.
Wydane: (2014-05-01)

Coloring and Guarding Arrangements
od: Prosenjit Bose, i wsp.
Wydane: (2013-12-01)

Change of guard at ACTN
od: Ahmet Hoke
Wydane: (2023-01-01)

Reumatismo: change of the guard
od: AA.VV AA.VV
Wydane: (2011-06-01)

Editorial: Change of guard
od: Krishna Subramony Iyer
Wydane: (2020-01-01)

Koedoe: Changing of the guard
od: Llewellyn C. Foxcroft
Wydane: (2020-10-01)

Changing the editorial guard
od: J P de V van Niekerk
Wydane: (2006-06-01)

Body-Guard Design
od: Uta Brandes
Wydane: (2019-07-01)