Last update: Thu Jun 29 02:43:11 MDT 2023
Return to index directory
U
-
Uchitel, S., 22(3)217--241
-
Uchitel, S., see Alrajeh, D.
-
Uhrmacher, Adelinde M., 25(5)723--742
-
Uhrmacher, Adelinde M., see John, Mathias
-
UI, 11(3)326--342
-
UK, 29(6)1121--1122
-
Ulrich, A., 18(1)63--83
-
Ulrich, A., see Hallal, H. H.
-
UML, 11(6)637--664, 12(4)228--230, 16(1)80--94, 20(1)79--100,
20(2)161--204, 28(5)805--845
-
Un-, 17(3)260--276
-
unbounded, 3(2)110--128, 7(1)37--53
-
uncertainty, 33(1)3--25
-
unchanged, 6(5)471--494
-
under-determined, 8(1)47--66
-
underspecification, 25(2)159--187
-
Unger, Andrea, 25(5)723--742
-
Unger, Andrea, see John, Mathias
-
unification, 7(2)150--168, 10(1)1--29, 25(1)107--131
-
unified, 15(2)118--145, 18(4)397--420, 22(5)611--627, 22(5)629--661,
28(1)1--20, 33(6)855--884
-
unifying, 10(5)436--451, 16(2)140--154, 18(3)288--307, 25(1)89--106,
25(1)133--158, 30(3)381--441
-
unique, 9(4)425--445
-
units, 4(3)239--272, 7(3)329--347, 11(6)690--723
-
UNITY, 3(2)189--205, 6(4)466--470, 7(4)353--388, 33(2)185--205
-
universe, 5(1)79--88
-
university, 29(6)1121--1122, 30(5)545--569
-
unprivileged, 26(6)1205--1229
-
Untanglings, 27(5)753--788
-
update, 16(1)2--3, 31(5)503--540
-
Uppaal, 10(5)550--575, 18(4)433--458, 25(2)289--318, 33(6)957--987
-
upper, 20(6)637--662
-
Ural, Hasan, 18(1)84--101, 22(6)667--679
-
Ural, Hasan, see Jourdan, Guy-Vincent
-
Ural:2006:CCS, 18(1)84--101
-
USE, 20(1)79--100
-
use, 6(1)60--91, 9(4)395--408, 12(6)485--500, 14(1)2--34, 23(3)307--332,
26(3)441--490
-
UseCase-wise, 23(1)113--131
-
user, 11(2)107--131, 11(3)244--271, 11(3)272--301, 11(3)326--342,
19(2)139--158, 21(6)571--588, 21(6)589--612, 26(6)1205--1229
-
using, 1(1)273--292, 2(1)359--392, 7(3)329--347, 8(2)127--161,
8(2)209--237, 8(5)607--616, 9(4)349--358, 10(1)43--58,
10(3)193--213, 10(4)361--380, 10(5)550--575, 11(2)132--159,
11(4)402--425, 11(6)637--664, 12(4)216--217, 12(4)218--219,
12(4)220--221, 13(2)161--186, 14(3)247--266, 15(4)406--421,
17(2)160--176, 18(3)264--287, 19(2)243--268, 20(1)101--116,
21(3)245--257, 21(6)571--588, 22(2)105--128, 22(3)217--241,
23(1)73--89, 24(1)97--125, 24(2)249--266, 24(3)307--330,
24(4)537--554, 24(4)679--699, 25(6)833--846, 26(1)63--98,
26(5)943--962, 26(5)993--1031, 26(6)1169--1204, 27(1)167--192,
27(5)789--804, 28(1)145--178, 28(2)295--323, 28(4)615--641,
28(5)767--804, 28(5)805--845, 28(6)909--935, 28(6)937--1004,
28(6)1027--1056, 29(3)559--579, 31(3)375--409, 32(1)33--70,
32(1)113--145, 32(2)229--250, 32(2)251--273, 32(2)315--360,
33(1)3--25, 33(1)87--125
-
UTP, 21(1)3--32, 21(1)33--64, 30(3)351--380, 30(6)713--738,
32(2)275--314
-
UTP-CSP, 33(4)803--826